Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
481	E. Y. Bann and J. J. Bryson Proceedings of the 13th Neural Computation and Psychology Workshop (NCPW13), July 2012 Add to Reading List Source URL: aeir.co.uk Language: English - Date: 2013-09-06 13:17:37 Natural language processing Feeling Affect Emotion Latent semantic analysis Document-term matrix Semantic similarity Search engine indexing Vector space model Information science Information retrieval Science
482	Tribute to Egon B¨ orger on the Occasion of his 60th Birthday Add to Reading List Source URL: www.di.unipi.it Language: English - Date: 2010-09-29 03:11:02 Applied mathematics Formal sciences Models of computation Abstract state machines Logic in computer science Yuri Gurevich Dagstuhl Model checking Logic Formal methods Mathematics Theoretical computer science
483	AgentPolis: Towards a Platform for Fully Agent-based Modeling of Multi-Modal Transportation (Demonstration) Add to Reading List Source URL: www.aamas-conference.org Language: English - Date: 2012-03-21 15:15:07 Computing Science Artificial intelligence Scientific modeling Traffic simulation Agent-based model Simulation MATSim AnyLogic Multi-agent systems Complex systems theory Models of computation
484	HALO: Haskell to Logic through Denotational Semantics As submitted to POPL’13, July 11, 2012 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-10-17 04:47:45 Logic in computer science Models of computation Model theory Formal methods Denotational semantics Combinatory logic Interpretation First-order logic Lambda calculus Logic Mathematical logic Theoretical computer science
485	Actor-oriented Metaprogramming Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2007-04-13 12:54:51 Computer data Dataflow Actor model Futures and promises Computing Computer architecture Models of computation
486	AnyLogic Enterprise Library Fundamentals Add to Reading List Source URL: www.itlab.unn.ru Language: English - Date: 2005-12-06 11:10:55 Models of computation Computing AnyLogic Scientific modeling Diagrams Agent-based model State diagram Simulation Scientific modelling Software Simulation software Science
487	Introduction to Type Theory Herman Geuvers Radboud University Nijmegen, The Netherlands Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-09-22 04:05:49 Logic in computer science Lambda calculus Models of computation Computability theory Combinatory logic Curry–Howard correspondence Model theory Structure Programming Computable Functions Theoretical computer science Mathematics Mathematical logic
488	ISSN[removed], Programming and Computer Software, 2007, Vol. 33, No. 6, pp. 343–355. © Pleiades Publishing, Ltd., 2007. Original Russian Text © V.S. Gurov, M.A. Mazin, A.S. Narvsky, A.A. Shalyto, 2007, published in Programmirovanie, 2007, Vol. 33, No. 6. Add to Reading List Source URL: is.ifmo.ru Language: English - Date: 2007-11-04 10:40:05 Unified Modeling Language Models of computation Programming paradigms Diagrams Automata-based programming State diagram Finite-state machine Executable UML Model-driven architecture UML diagrams Software Computing
489	Computation of the FAD (Free Air Delivery) of a Compressor using the Krohne Vortex Meter Model VFM5090. Add to Reading List Source URL: www.forbesmarshall.com Language: English - Date: 2013-03-06 04:12:53 Thermodynamics Compressors Atmospheric thermodynamics Physical chemistry Volume Flow measurement Gas Physics Fluid dynamics Fluid mechanics
490	On the non-sequential nature of the interval-domain model of real-number computation Mart´ın Escard´o, Martin Hofmann, Thomas Streicher Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2002-10-18 10:35:03 Calculus Continuous function Function Denotational semantics Partially ordered set Exponentiation Interval arithmetic Uniform continuity Mathematics Mathematical analysis Functions and mappings

UPDATE